Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
271	From propositional to first-order monitoring Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA? Software Systems Research Group, 2 Australian National University Add to Reading List Source URL: www.gilvegliach.it Language: English - Date: 2014-02-20 13:15:15 Temporal logic Metalogic FO Model theory Interpretation IP Theoretical computer science Logic Linear temporal logic
272	From propositional to first-order monitoring Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA? Software Systems Research Group, 2 Australian National University Add to Reading List Source URL: kuester.multics.org Language: English - Date: 2015-05-08 04:15:01 Temporal logic Metalogic FO Model theory Interpretation IP Theoretical computer science Logic Linear temporal logic
273	νZ - Maximal Satisfaction with Z3 Nikolaj Bjørner1 and Anh-Dung Phan2∗ 1 2 Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-10-16 19:21:04 Formal methods Constraint programming Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Linear programming Mathematical optimization Theoretical computer science Applied mathematics Mathematics
274	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:03 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
275	From propositional to first-order monitoring Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA? Software Systems Research Group, 2 Australian National University Add to Reading List Source URL: kuester.multics.org Language: English - Date: 2015-05-08 04:15:01 Metalogic Model theory FO Interpretation Symbol Constructible universe Mathematics Logic Linear temporal logic Temporal logic
276	Down with the bureaucracy of syntax! Pattern matching for classical linear logic Philip Wadler University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-02-04 11:56:16 Logic Natural deduction Curry–Howard correspondence Symbol Sequent calculus Sheaf Orbifold Holomorphic functional calculus Proof theory Mathematics Mathematical logic
277	surfaces of revolution E. L. Lady Start with a curve given parametriclly in the xz -plane, viz. β(v) = (x(v), 0, z(v)) = (ϕ(v), 0, ψ(v)). Revolving this curve around the z -axis yields a surface which we can describe Add to Reading List Source URL: www.math.hawaii.edu Language: English - Date: 2001-04-07 05:48:38 Differential geometry of surfaces Curvature Group theory Linear algebra Vector space Darboux frame Linear temporal logic Algebra Mathematics Differential geometry
278	Object Calculi in Linear Logic Michele Bugliesi∗ Dipartimento di Matematica, Universit`a di Padova Via Belzoni 7, 35131 Padova, Italy e-mail: Giorgio Delzanno Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:33:56 Formal languages Metalogic Non-classical logic Logical syntax Sequent calculus Sequent Linear logic Entailment Intuitionistic logic Logic Mathematical logic Proof theory
279	Runtime Verification meets Android Security Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA Software Systems Research Group · 2 The Australian National University Add to Reading List Source URL: kuester.multics.org Language: English - Date: 2015-05-08 04:15:01 Computer architecture Android software development Android Mobile operating system Malware Symbian Linear temporal logic Motorola Droid Smartphones Software Computing
280	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:03 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic

UPDATE